41. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 ; proceedings

پدیدآورنده : Alan Bundy )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

814

42. Automated deduction CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

پدیدآورنده : M.A. McRobbie, J.K. Slaney )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

1104

43. Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings

پدیدآورنده : David McAllester )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

1831

44. Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :

QA

76

.

9

.

A96

.

I57

1992

45. Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 :proceedings

پدیدآورنده : D. Kapur, ed

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

607

46. Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings

پدیدآورنده : Robert Nieuwenhuis )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

3632

47. Automated deduction--CADE-16 : 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

پدیدآورنده : Harald Ganzinger )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

1632

48. Automated deduction-CADE-14 : 14th International Conference on Automated deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings

پدیدآورنده : William McCune )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

1249

49. Automated deduction, Cade-15: 15th International Conference on Automated Deduction,Lindau, Germany, July 5-10, 1998: proceedings

پدیدآورنده : Claude Kirchner, Helene Kirchner, ]editors[

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

9

.

A96

I57

1998

50. Automated deduction in geometr

پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books

رده :

QA448

.

D38

,

I58

2011

51. Automated deduction in geometry:

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Geometry - Data processing - Congresses,Automatic theorem proving - Congresses,Logic, Symbolic and mathematical - Congresses

رده :

QA448

.

D38I577

1997

52. Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers

پدیدآورنده : Dongming Wang )ed.(

کتابخانه: (طهران)

موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

1360

53. Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1998 : proceedings

پدیدآورنده : Xiao-Shan Gao, Dongming Wang, Lu Yang )eds.(

کتابخانه: (طهران)

موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

1669

54. Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

پدیدآورنده : Hoon Hong, Dongming Wang )eds.(

کتابخانه: (طهران)

موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

3763

55. Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)

موضوع : Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

448

.

D38

I577

2004

56. Automated deduction in geometry: 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

پدیدآورنده : Hoon Hong, Dongming Wang )eds.(

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

448

.

D38

I577

2004

57. Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers

پدیدآورنده : Franz Winkler )ed.(

کتابخانه: (طهران)

موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

2930

58. Automated deduction in geometry: 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002: revised papers

پدیدآورنده : Franz Winkler )ed.(

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Data processing - Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

448

.

D38

I577

2002

59. Automated deduction in geometry: third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000: revised papers

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Geometry-- Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

448

.

D38

.

I577

2000

60. Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers

پدیدآورنده : Jurgen Richter-Gebert, Dongming Wang, )eds.(

کتابخانه: (طهران)

موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

2061